1. Based Program Synthesis and Transformation-Logic
پدیدآورنده : / Maurizio Proietti, Hirohisa Seki
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ [edited by] Maurizio Proietti, Hirohisa Seki.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
